(set-logic QF_ALIA)
(declare-fun x2844 () (Array (Array Bool Bool) Bool))
(declare-fun x2855 () (Array (Array Bool Bool) Bool))
(declare-fun x3529 () (Array Bool Bool))
(declare-fun x3633 () Bool)
(declare-fun x3701 () Bool)
(declare-fun x3807 () Int)
(declare-fun x3837 () (Array (Array Bool Bool) Bool))
(declare-const v4 Bool)
(declare-const v5 Bool)
(declare-const v7 Bool)
(declare-const v13 Bool)
(declare-const v17 Bool)
(declare-const A (Array Bool Bool))
(declare-const B (Array (Array Bool Bool) Bool))
(declare-const C (Array Int (Array (Array Bool Bool) Bool)))
(declare-const D (Array (Array (Array Bool Bool) Bool) (Array (Array Bool Bool) Bool)))
(declare-const v21 Bool)

(assert (and (= (store A v4 v5) A) (=> v7 v13)))
(assert (or 
	 (distinct x2844 B (select (store D x2855 (store (select (store C 60 B) x3807) (store x3529 v17 true) v21)) x3837) (select C 98)) 
	 x3701
	 x3633))
(check-sat)
(assert true)
(check-sat)
